MIT Computer Science and Artificial Intelligence Laboratory - PDFSEARCH.IO - Document Search Engine

MIT Computer Science and Artificial Intelligence Laboratory
Results: 422

#	Item
311	Robust Belief-Based Execution of Manipulation Programs Kaijen Hsiao, Tom´as Lozano-P´erez, and Leslie Pack Kaelbling Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, {kjhs Add to Reading List Source URL: lis.csail.mit.edu Language: English - Date: 2012-07-07 18:01:24 Stochastic control Dynamical system Motion planning Robot Kinematics Normal distribution Statistics Dynamic programming Partially observable Markov decision process
312	Constructing Symbolic Representations for High-Level Planning George Konidaris, Leslie Pack Kaelbling and Tomas Lozano-Perez MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge MA 0213 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-04-21 16:38:49 Automated planning and scheduling Philosophy of language Philosophical logic Propositional calculus Mathematical logic Planning Domain Definition Language Symbol grounding Abuse of notation STRIPS Logic Philosophy Linguistics
313	Improving Application Security with Data Flow Assertions Alexander Yip, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek Massachusetts Institute of Technology – Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English Cross-platform software Scripting languages Relational database management systems Software testing Database management systems Vulnerability Cross-site scripting Code injection SQL injection Computing Software engineering Computer programming
314	Authenticated Storage Using Small Trusted Hardware Hsin-Jung Yang, Victor Costan, Nickolai Zeldovich, and Srinivas Devadas Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cam Add to Reading List Source URL: people.csail.mit.edu Language: English Error detection and correction Cryptography Computing Security Hash tree Venti Trusted Platform Module Cache Hash list Hashing Computer security Cryptographic hash functions
315	A Dialogue System for Accessing Drug Reviews Jingjing Liu and Stephanie Seneff MIT Computer Science & Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, U.S.A. {jingl,seneff}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-07-28 15:53:19 Science Computer accessibility Speech recognition Speech synthesis Antidepressant Nitrazepam Lysergic acid diethylamide Humanâ€“computer interaction Software Computational linguistics Entheogens Mind control
316	Automatic Drug Side Effect Discovery from Online Patient-Submitted Reviews: Focus on Statin Drugs Jingjing Liu, Alice Li and Stephanie Seneff MIT Computer Science & Artificial Intelligence Laboratory Cambridge, MA 02139, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-08-22 11:01:02 Statins Cell biology Biophysics Membrane biology Hypercholesterolemia Iatrogenic hypocholesterolemia Hypolipidemic agent Cholesterol depletion Myocardial infarction Biology Chemistry Sterols
317	Convex Optimization of Nonlinear Feedback Controllers via Occupation Measures Anirudha Majumdar, Ram Vasudevan, Mark M. Tobenkin, and Russ Tedrake Computer Science and Artificial Intelligence Laboratory Massachusetts Ins Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-06-01 00:19:52 Systems Systems theory Optimal control State space Stochastic differential equations Structure Holomorphic functional calculus Normal distribution Control theory Mathematical analysis Dynamical system
318	Belief space planning assuming maximum likelihood observations Robert Platt Jr., Russ Tedrake, Leslie Kaelbling, Tomas Lozano-Perez Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Techn Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2011-02-22 11:30:08 Stochastic control Optimal control Estimation theory Robot control Kalman filter Partially observable Markov decision process Linear-quadratic-Gaussian control Algebraic Riccati equation Maximum likelihood Control theory Statistics Systems theory
319	Fast Maximum Margin Matrix Factorization for Collaborative Prediction Jasson D. M. Rennie JRENNIE @ CSAIL . MIT. EDU Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambrid Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:14:50 Matrix theory Operations research Numerical linear algebra Operator theory Singular value decomposition Non-negative matrix factorization Semidefinite programming Matrix Trace Algebra Linear algebra Mathematics
320	HQ Cost Object Guide Frequently used General Ledgers: [removed][removed] Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-05-22 16:07:31 Expense MIT Computer Science and Artificial Intelligence Laboratory Operating expense

UPDATE